Integrating Verification and Testing of Object-Oriented Software
نویسندگان
چکیده
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A symbiosis of software testing and verification techniques is a highly desired goal, but at the current state of the art most available tools are dedicated to just one of the two tasks: verification or testing. We use the KeY verification system (developed by the tutorial presenters) to demonstrate our approach in combining both.
منابع مشابه
An Object Oriented Approach for Data Fusion
An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation and testing may be supported. This allows the realisation of high sophisticated data fusion systems as applied in numerous civil and defence areas: e.g. air traffic control, coastal surveillance, vehicle guidance systems...
متن کاملRequirements Analysis with the Object–Oriented Software Development Method
© 1993, Edward Colbert By integrating object–oriented requirements analysis with OO design, the Object–Oriented Software Development Method (OOSD) allows a practical focus on the objects of a problem throughout. OOSD requirements analysis clearly represents problem requirements and leads smoothly to design, creating a single consistent abstract model with strong validation and verification, whi...
متن کاملTest Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation
The introduction of Object Oriented Technologies in test centered processes has emphasized the importance of finding new methods for software verification. Testing metrics and practices, developed for structured programs, have to be adapted in order to address the prerogatives of object oriented programming. In this work, we introduce a new approach to structural coverage evaluation in the test...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008